Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
671	Independent Verification and Validation Evaluating integrity and quality of hardware and software Opportunity More than ever, systems developers are relying on information technology to automate critical decisions, Add to Reading List Source URL: www.dis.anl.gov Language: English - Date: 2010-12-02 17:56:17 Science Pharmaceutical industry Validity Technology Evaluation Validation Verification and validation Software development process Verification Systems engineering Software testing Formal methods
672	UML-based Specification, Validation, and Log-file based Verification of the Orion Pad Abort 1 Software Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2010-06-14 15:13:00 Knowledge Validation Verification Formal verification Runtime verification Specification Formal specification Software development process Modeling language Formal methods Science Technology
673	Microsoft Word - NPS-CS[removed]report.doc Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2005-08-15 17:23:39 Space technology Missile defense Systems engineering Logic in computer science Technical communication Missile Defense Agency Software development process Model checking Runtime verification Formal methods Technology Science
674	White Paper Rethinking SoC Verification Enabling Next-Generation Productivity & Performance March 2014 Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-03-06 15:16:05 Logic design Formal methods Logic in computer science Hardware description languages Functional verification Logic simulation Formal verification Debugger Compiler Electronic engineering Electronic design automation Digital electronics
675	Microsoft PowerPoint - J Bosma TRISMAC Key Note.ppt Add to Reading List Source URL: www.hq.nasa.gov Language: English - Date: 2008-04-24 13:49:26 Formal methods European Space Agency Software testing Verification International Space Station Software development process Collision avoidance Reliability engineering Spacecraft Spaceflight Software quality Systems engineering
676	VSE - Verification Support Environment Andreas Nonnengart and Georg Rock and Werner Stephan German Research Center for Artificial Intelligence Stuhlsatzenhausweg 3, 66123 Saarbr¨ucken, Germany {nonnenga,rock,stephan}@df Add to Reading List Source URL: www.verisoft.de Language: English - Date: 2013-04-11 05:48:57 Temporal logic Computer science Software Logic Concurrency Formal methods VSE
677	Transition Invariants Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f¨ur Informatik Add to Reading List Source URL: www.verisoft.de Language: English - Date: 2013-04-11 05:48:57 Equivalence relation Model checking Temporal logic Invariant Termination analysis Mathematical proof Formal verification Mathematics Theoretical computer science Applied mathematics
678	European Cooperation Brussels, 15 May 2014 in the field of Scientific and Technical Research Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2014-05-16 07:46:30 Systems engineering Science Software development Software quality Runtime verification Formal verification Verification Software testing Reliability engineering Formal methods Logic in computer science Theoretical computer science
679	Laboratoire VERIMAG UMR 5104 Directeur: Nicolas Halbwachs Campagne d’´ evaluation 2011–2015 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2010-02-11 10:51:36 Validity Science Theoretical computer science Hardware description languages Technology Synchronous programming language Lustre Joseph Sifakis Verification Formal methods Systems engineering Pharmaceutical industry
680	Proving Memory Separation in a Microkernel by Code Level Verification Holger Blasum and Sergey Tverdyshev Thorsten Bormer Christoph Baumann Karlsruhe Institute of Technology, SYSGO AG, Klein-Winternheim, Germany Add to Reading List Source URL: www-wjp.cs.uni-saarland.de Language: English - Date: 2012-10-16 07:23:41 Windows NT architecture Formal methods Memory management Separation kernel Formal verification Kernel Microkernel Object Manager C dynamic memory allocation Computer architecture System software Software

UPDATE